19.27/19.30	unsat
