18.83/18.93	unsat
