10.54/10.93	unsat
