19.18/19.21	unsat
