19.05/19.21	unsat
