6.72/8.76	unsat
