19.17/22.16	unsat
