148.92/150.25	unsat
