0.27/0.31	unsat
