5.88/8.17	unsat
