18.78/18.93	unsat
