0.69/1.87	unsat
