6.07/8.01	unsat
