10.74/10.77	unsat
