0.23/0.24	unsat
