0.19/0.63	unsat
