0.39/1.89	unsat
