17.73/18.74	unsat
