0.24/0.31	unsat
