0.39/1.87	unsat
