19.25/19.93	unsat
