0.10/0.31	unsat
