0.40/0.48	unsat
