6.57/7.76	unsat
