0.23/0.31	unsat
