0.30/0.31	unsat
