17.46/17.93	unsat
