19.23/19.33	unsat
