19.16/19.32	unsat
