0.08/0.31	unsat
