6.07/7.61	unsat
