0.08/0.20	unsat
