0.08/0.10	unsat
