7.67/8.01	unsat
