4.98/6.87	unsat
