147.86/151.52	unsat
