0.68/1.63	unsat
