10.17/10.93	unsat
