10.17/11.93	unsat
