19.24/19.30	unsat
