17.47/18.93	unsat
