5.88/8.87	unsat
