6.87/7.61	unsat
