1.40/1.48	unsat
