19.29/19.34	unsat
