7.98/8.02	unsat
