A fp llPF Btor ocl1 1iu8 * mot norr ,att