6.36/9.76	unsat
