17.85/17.93	unsat
