93.87/150.32	unsat
