10.76/10.84	unsat
