6.98/7.01	unsat
