6.58/8.01	unsat
