0.18/1.10	unsat
