6.97/8.01	unsat
