18.14/19.93	unsat
