5.98/7.87	unsat
