0.18/0.31	unsat
