0.22/0.31	unsat
