5.88/9.24	unsat
