18.30/19.32	unsat
