147.93/154.25	unsat
