10.68/10.76	unsat
