1.40/3.63	unsat
