147.74/149.28	unsat
