10.75/10.82	unsat
