0.19/0.31	unsat
