0.20/0.31	unsat
