22.39/24.32	unsat
