6.77/8.01	unsat
