19.33/19.40	unsat
