10.66/10.74	unsat
