5.88/9.04	unsat
