0.26/0.31	unsat
