0.22/0.24	unsat
