0.11/1.63	unsat
